Model theory of partial differential fields: From commuting to noncommuting derivations
نویسندگان
چکیده
منابع مشابه
Model Theory of Partial Differential Fields: from Commuting to Noncommuting Derivations
McGrail (2000) has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe (2001) has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first.
متن کاملFields with several Commuting Derivations
The existentially closed models of the theory of fields (of arbitrary characteristic) with a given finite number of commuting derivations can be characterized geometrically, in several ways. In each case, the existentially closed models are those models that contain points of certain differential varieties, which are determined by certain ordinary varieties. How can we tell whether a given syst...
متن کاملGeometric Axioms for Differentially Closed Fields with Several Commuting Derivations
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay [13], is formulated in terms of a relative notion of prolongation for Kolchin-closed sets.
متن کاملModel Theory of Differential Fields
This article surveys the model theory of differentially closed fields, an interesting setting where one can use model-theoretic methods to obtain algebraic information. The article concludes with one example showing how this information can be used in diophantine applications. A differential field is a field K equipped with a derivation δ : K → K; recall that this means that, for x, y ∈ K, we h...
متن کاملThe Commuting Derivations Conjecture
This paper proves the Commuting Derivations Conjecture in dimension three: if D1 and D2 are two locally nilpotent derivations which are linearly independent and satisfy [D1, D2] = 0 then the intersection of the kernels, A1 ∩ A2 equals C[f ] where f is a coordinate. As a consequence, it is shown that p(X)Y + Q(X, Z, T ) is a coordinate if and only if Q(a, Z, T ) is a coordinate for every zero a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2007
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-07-08653-4